1. Advanced software technologies for post-Peta scale computing :
Author: Mitsuhia Sato, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software.,High performance computing.,Computer software.,High performance computing.
Classification :
QA76
.
88
.
A38
2019
2. Advances in artificial intelligence :
Author: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
Classification :
Q334
.
C36
2018
3. Algorithms, Software and Hardware of Parallel Computers
Author: edited by Jozef Mikloško, Vadim Evgenich Kotov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
6
E358
1984
4. Applications of Evolutionary Computation :
Author: edited by Anna I. Esparcia-Alcázar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Computer software.
5. Applied parallel and scientific computing :
Author: Kristján Jónasson (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
6. Architecture of Computing Systems - ARCS 2013 :
Author: Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer architecture.,Computer systems -- Congresses.
7. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
8. Automatic parallelization :
Author: Christoph W. Kessler, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codage.,Parallel processing (Electronic computers)
Classification :
QA76
.
58
C475
1994
9. Automatic parallelization for a class of regular computations
Author: Megson, G. M.
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Parallel programming )Computer science(,، Automatic programming )Computer science(
Classification :
QA
76
.
642
.
M43
1997
10. Automatic parallelization for a class of regular computations
Author: Megson, G. M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel programming )Computer science( , Automatic programming )Computer science(
Classification :
QA
76
.
642
.
M43
1997
11. CONPAR 81 :
Author: edited by Wolfgang Händler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
12. Code Generation - Concepts, Tools, Techniques :
Author: edited by Robert Giegerich, Susan L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
13. Communication-Based Systems
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
14. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
15. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
16. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
17. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
18. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author: Peter E. Lauer, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
Classification :
QA
76
.
L28
Vol
.
693
19. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
Classification :
QA
76
.
6
.
F853
1993
